Topological Properties of Real Normed Space
نویسندگان
چکیده
منابع مشابه
Topological Properties of Real Normed Space
In this article, we formalize topological properties of real normed spaces. In the first few parts, open and closed, density, separability and sequence and its convergence are discussed. Then we argue properties of real normed subspace. In the middle of the article, we discuss linear functions between real normed speces. Several kinds of subspaces induced by linear functions such as kernel, ima...
متن کاملMenger probabilistic normed space is a category topological vector space
In this paper, we formalize the Menger probabilistic normed space as a category in which its objects are the Menger probabilistic normed spaces and its morphisms are fuzzy continuous operators. Then, we show that the category of probabilistic normed spaces is isomorphicly a subcategory of the category of topological vector spaces. So, we can easily apply the results of topological vector spaces...
متن کاملThe Product Space of Real Normed Spaces and its Properties
The following propositions are true: (1) Let s, t be sequences of real numbers and g be a real number. Suppose that for every element n of N holds t(n) = |s(n)− g|. Then s is convergent and lim s = g if and only if t is convergent and lim t = 0. (2) Let x, y be finite sequences of elements of R. Suppose lenx = len y and for every element i of N such that i ∈ Seg lenx holds 0 ≤ x(i) and x(i) ≤ y...
متن کاملmenger probabilistic normed space is a category topological vector space
in this paper, we formalize the menger probabilistic normed space as a category in which its objects are the menger probabilistic normed spaces and its morphisms are fuzzy continuous operators. then, we show that the category of probabilistic normed spaces is isomorphicly a subcategory of the category of topological vector spaces. so, we can easily apply the results of topological vector spaces...
متن کاملTopological properties of some sequences defined over 2-normed spaces
The paper investigates some classes of real number sequences over 2-normed spaces defined by means of Orlicz functions, a bounded sequence of strictly positive real numbers, a multiplier and a normal paranormed sequence space. Relevant properties of such classes have been investigated. Moreover, relationships among different such classes of sequences have also been studied under various paramet...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2014
ISSN: 1898-9934
DOI: 10.2478/forma-2014-0024